Composing Closed-System Views
نویسندگان
چکیده
Abstract. Decomposing a system into views is relatively easy. The tricky part is putting the views back together without creating unexpected interference between the views. We argue that basing decomposition on the closed world approach helps in avoiding certain kinds of surprises when views are composed. The composition mechanism can statically enforce that the behaviors described by different views are compatible.
منابع مشابه
View composition in multiagent architectures
Our experience in research and development on a multi-agent architecture for an industrial Automatic Guided Vehicle Transportation System (AGVTS) reveals a crucial problem w.r.t. the specification of software architectures. In particular, there is a lack of support for relating and composing multiple views in architectural descriptions. This lack hampers changeability, as it prevents separating...
متن کاملComposing Structural Views in xADL
Experience with building an architecture for an industrial Automatic Guided Vehicle Transportation System (AGVTS) shows that several essential concerns crosscut the architectural views. To cope with this, a stronger separation proved to be necessary, i.e. using different views for different concerns. In practice this was difficult, since the support for relations between views is very limited. ...
متن کاملArchitectural Views of a Reactive System: A Case Study
The signiicance of software architecture views as a means for separating the designer's concerns have been addressed in the literature and a number of papers have attempted to illustrate this concept through examples 19, 8, 16, 12]. Nevertheless, as far as we are aware, none has shown a complete and concrete example of the usefulness of views. In this paper, we attempt to address this issue. We...
متن کاملModelling and Analysing Systems of Agents by Agent-aware Transition Systems1
We propose a method to specify, in a modular way, complex systems formed by interacting agents. The method is based on the notion of view, that is a partial representation of the system, reflecting one of its specific aspects. By composing the different views, we get the overall system, described as a special kind of transition system. By means of a suitable logical language, we can express int...
متن کاملAutomatically Detecting Mismatches During Component-based and Model-based Development
A major emphasis in software development is placed on identifying and reconciling architectural and design mismatches. Those mismatches happen during software development on two levels: while composing system components (e.g. COTS or in-house developed) and while reconciling view perspectives. Composing components into a system and ’composing’ views (e.g. diagrams) into a system model are often...
متن کامل